Automatic programming

Results: 566



#Item
251Programming language theory / Automatic parallelization tool / Loop optimization / Loop fusion / Automatic parallelization / Loop unwinding / Program optimization / Compiler / Polytope model / Compiler optimizations / Computing / Software engineering

Annotation-Based Empirical Performance Tuning Using Orio Albert Hartono1 , Boyana Norris2 , and P. Sadayappan1 1 Ohio State University, Dept. of Computer Science and Engineering, Columbus, OH 43210

Add to Reading List

Source URL: www.mcs.anl.gov

Language: English - Date: 2008-11-19 11:29:27
252Microsoft BASIC / Barcodes / Automatic identification and data capture / Object-oriented programming / Universal identifiers / Visual Basic .NET / Property / International Article Number / Subroutine / Computer programming / Software engineering / Computing

MW6 QRCode .NET Control Manual

Add to Reading List

Source URL: www.mw6tech.com

Language: English - Date: 2013-06-06 19:10:17
253Software bugs / Version control / Bug tracking system / Concurrent Versions System / Revision control / Open-source software / Bug / TeX / Diff / Computing / Software / Computer programming

Automatic Identification of Bug-Introducing Changes Sunghun Kim1, Thomas Zimmermann2, Kai Pan1, E. James Whitehead, Jr.1 1 University of California, Santa Cruz, CA, USA

Add to Reading List

Source URL: www.cse.ust.hk

Language: English - Date: 2012-06-14 09:36:59
254Reasoning / Branches of philosophy / Formal systems / Programming paradigms / Inference / Logical consequence / Logic programming / Axiom / Epistemology / Logic / Philosophy / Science

Automatic Construction of Inference-Supporting Knowledge Bases Peter Clark, Niranjan Balasubramanian, Sumithra Bhakthavatsalam, Kevin Humphreys, Jesse Kinkead, Ashish Sabharwal, Oyvind Tafjord Allen Institute for AI, 215

Add to Reading List

Source URL: allenai.org

Language: English
255Compiler construction / Parallel computing / Computer memory / Programming language implementation / Procedural programming languages / Unified Parallel C / Open64 / Compiler optimization / Automatic parallelization / Computing / Software engineering / Computer programming

A Performance Analysis of the Berkeley UPC Compiler  Wei-Yu Chen Parry Husbands

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2004-11-10 21:04:26
256Procedural programming languages / Compiler optimizations / Fortran / Parallel computing / Automatic parallelization / Cell / Compiler / Computing / Software engineering / Computer programming

NII Lectures: 35 Years of Research: + Results; - Results Lawrence Snyder www.cs.washington.edu/homes/snyder 24 September 2008

Add to Reading List

Source URL: www.nii.ac.jp

Language: English - Date: 2010-01-12 02:04:57
257Speech recognition / Linguistics / Artificial intelligence / Neuro-linguistic programming / Sentiment analysis / Automatic summarization / Generative theory of tonal music / Computer music / Meta-programs / Computational linguistics / Natural language processing / Science

11th International Society for Music Information Retrieval Conference (ISMIRPREDICTING DEVELOPMENT OF RESEARCH IN MUSIC BASED ON PARALLELS WITH NATURAL LANGUAGE PROCESSING Jacek Wołkowicz Dalhousie University

Add to Reading List

Source URL: ismir2010.ismir.net

Language: English - Date: 2014-01-23 13:05:09
258Computer programming / SPMD / Message Passing Interface / OpenMP / Unified Parallel C / MATLAB / Thread / Automatic parallelization / Parallel programming model / Computing / Concurrent computing / Parallel computing

Introduction to Parallel Programming and pMatlab v2.0 Hahn Kim, Julia Mullen, Jeremy Kepner {hgk, jsm, kepner}@ll.mit.edu MIT Lincoln Laboratory, Lexington, MA[removed]Abstract The computational demands of software continu

Add to Reading List

Source URL: www.ll.mit.edu

Language: English - Date: 2012-10-11 10:51:18
259Data types / Primitive types / Procedural programming languages / Program logic / Pointer / Type theory / Reference / ALGOL 68 / C / Software engineering / Computing / Programming language theory

Automatic Verification of Pointer Programs using Monadic Second-Order Logic∗ Jakob L. Jensen, Michael E. Jørgensen, Michael I. Schwartzbach BRICS, University of Aarhus {u820406,medgar,mis}@brics.dk Nils Klarlund

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2007-03-08 16:47:37
260Message passing / Garbage collection / Edelweiss / Distributed data storage / Computer programming / Software engineering / Computing / Inter-process communication / Relational model

Edelweiss: Automatic Storage Reclamation for Distributed Programming Neil Conway, Peter Alvaro, Emily Andrews, Joseph M. Hellerstein UC Berkeley {nrc, palvaro, e.andrews, hellerstein}@cs.berkeley.edu

Add to Reading List

Source URL: www.vldb.org

Language: English - Date: 2014-01-06 15:00:10
UPDATE